1. Arithmetic, Proof theory and computational complexity
پدیدآورنده : edited by Peter Clote and Jan Krajicek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
2. Arithmetic, proof theory, and computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Proof theory,Computational computational complexity
3. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده : edited by M. M. Richter ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
4. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
5. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010